Rodin tool - PDFSEARCH.IO - Document Search Engine

Rodin tool
Results: 32

#	Item
11	A Rodin Plugin for the Tinker Tool By Yibo Liang Ver. 01 Table of Content Add to Reading List Source URL: ggrov.github.io Language: English - Date: 2016-07-27 05:15:16 Software Network socket Eclipse
12	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D29 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:26:15 Software engineering Computing Engineering Formal methods Safety Software quality Control engineering Fault tolerance Rodin tool Life-critical system Dependability Control theory
13	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D9 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-09-06 11:20:39 Formal methods Vienna Development Method Rodin tool Formal specification Software development process B-Method Specification Abstraction Object Process Methodology SIGNAL ShlaerMellor method Systems engineering
14	Demonstration of the Rodin Platform Prototype Laurent Voisin, Stefan Hallerstede, Farhad Mehta, Thai Son Hoang, Francois Terrier, Add to Reading List Source URL: www.clearsy.com Language: English - Date: 2011-05-26 12:36:35 Java platform Debuggers Eclipse IBM software Database Scientific modelling Demo Rodin tool
15	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D26 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:18 Byzantine music Cretan lyra Cretan music Object Process Methodology Rodin B-Method Michael Butler Metaclass Formal methods Rodin tool
16	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
17	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D2 Definitions of Case Studies and Evaluation Criteria for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-05-25 11:16:22 Mobile telecommunications LTE Mobile technology Telecommunications Formal methods Rodin tool 3GPP Systems engineering UMTS Formal specification
18	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D31 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-07 10:27:40 Unified Modeling Language UML tool Class diagram Eclipse Diagram Package diagram Element Profile Object Process Methodology Rodin tool Executable UML
19	Rodin in the field of railway system engineering Tomas Fischer, Thales Austria GmbH www.thalesgroup.com Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-25 03:59:22 Formal methods Process management Project management Systems engineering Rodin tool Domain-driven design SIGNAL Capella Business process Rodin B-Method Feature-driven development
20	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D4 Traceable Requirements Document for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-04 06:06:20 Software requirements Systems engineering Specification Requirement Rodin tool 3GPP UMTS Formal methods System requirements